Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
651	Overview Lecture T2: Turing Machines Attempt to understand essential nature of computation by studying properties of simple machine models. Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2001-02-02 11:59:52 Automata theory Turing machine Computer science Deterministic pushdown automaton Finite-state machine Linear bounded automaton National Parliamentary Debate Association NP Pushdown automaton Theory of computation Models of computation Theoretical computer science
652	JFP 19 (2): 173–190, [removed]c 2009 Cambridge University Press 173 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-03-09 07:00:56 Combinatorics Software engineering Symbol String Regular language Regular expression Nondeterministic finite automaton Automata theory Formal languages Theoretical computer science
653	Hyper-Minimization in O(n2 ) Andrew Badr [removed] Flowgram Research Division 650 Townsend #315 San Francisco, CA 94103 Add to Reading List Source URL: www.andrewbadr.com Language: English - Date: 2008-07-27 22:06:23 DFA minimization Regular language Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Automata theory Theoretical computer science Computer science
654	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
655	Verifying monadic second order graph properties with tree automata Bruno Courcelle [removed] Ir`ene A. Durand [removed] Add to Reading List Source URL: dept-info.labri.fr Language: English - Date: 2011-05-23 10:41:41 Tree automaton Tree decomposition Clique Graph theory Theoretical computer science Automata theory
656	Autowrite: User’s Guide (Still being written) Ir`ene Durand Universit´e de Bordeaux I[removed]Talence, France Add to Reading List Source URL: dept-info.labri.fr Language: English - Date: 2005-02-01 05:50:58 Tree automaton Reduction strategy Overlap Automata theory Theoretical computer science Computer science
657	Briefing Notes – Standard Format Add to Reading List Source URL: www.cr.gov.hk Language: English - Date: 2014-09-25 00:10:50 Software engineering Theoretical computer science Computing Automata theory Pattern matching Regular expression
658	RegexMagic Manual Version 2.1.0 — 7 October 2014 Published by Just Great Software Co. Ltd. Copyright © 2009–2014 Jan Goyvaerts. All rights reserved. Add to Reading List Source URL: www.regexmagic.com Language: English - Date: 2014-10-07 00:59:28 Regular expressions Pattern matching Scripting languages Automata theory TRE Sed Grep Conditional Pattern Computing Computer programming Software
659	MDEP Conference - Session 6 - MDEP Presentation [Compatibility Mode] Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2014-05-06 10:16:19 Procedural programming languages Automata theory Pattern matching Regular expression Requirement Top-down and bottom-up design C HTML element Software engineering Computing Software development
660	The Bastards Book of Regular Expressions Finding Patterns in Everyday Text Dan Nguyen Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2014-02-07 21:36:53 Pattern matching Automata theory High-level programming languages Sam Expression Perl Spreadsheet Perl 6 rules Effective Perl Programming Computing Software Regular expressions

UPDATE